https://www.passeidireto.com/arquivo/108845827/modelo-de-rede-de-petri-de-um-sistema-de-automacao-de-uma-esteira-transportadora